print(2000)
print("27813281 1 378124321 2000000000\n" * 2000)
